$\forall$${\it es}$:event\_system\{i:l\}. 
\\[0ex]es\_val(${\it es}$)
\\[0ex]$\in$ $e$:es{-}E(${\it es}$)$\rightarrow$kindcase(es{-}kind(${\it es}$; $e$); $a$.(es{-}V(${\it es}$)(loc($e$),$a$)); $l$,$t$.(es{-}M(${\it es}$)($l$,$t$)))